在以阶段划分的编译过程中，判断程序语句的形式是否正确属于( ) 阶段的工作。